Search results for "Logical consequence"
showing 10 items of 11 documents
An Algebraic Approach to Knowledge Representation
1999
This paper is an attempt to apply domain-theoretic ideas to a new area, viz. knowledge representation. We present an algebraic model of a belief system. The model consists of an information domain of special kind (belief algebra) and a binary relation on it (entailment). It is shown by examples that several natural belief algebras are, essentially, algebras of flat records. With an eye on this, we characterise those domains and belief algebras that are isomorphic to domains or algebras of records. For illustration, we suggest a system of axioms for revision in such a model and describe an explicit construction of what could be called a maxichoise revision.
A Place for Life
2010
The belief in the existence of extraterrestrial civilizations starts from the so-called principle of mediocrity. This principle postulates that Earth is a normal planet that rotates around a normal star, which in turn is located in a normal galaxy. That is to say, there is nothing so special in our world as to make it unique. This is a logical conclusion, toward which we are guided by the successive “Copernican turns” that science has suffered throughout its long history, and which has removed us from the central position we once believed to occupy in the universe.
Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation
2013
In this paper, by adopting a coherence-based probabilistic approach to default reasoning, we focus the study on the logical operation of quasi conjunction and the Goodman-Nguyen inclusion relation for conditional events. We recall that quasi conjunction is a basic notion for defining consistency of conditional knowledge bases. By deepening some results given in a previous paper we show that, given any finite family of conditional events F and any nonempty subset S of F, the family F p-entails the quasi conjunction C(S); then, given any conditional event E|H, we analyze the equivalence between p-entailment of E|H from F and p-entailment of E|H from C(S), where S is some nonempty subset of F.…
WHEN DEDUCTION LEADS TO BELIEF
1995
The paper questions the common assumption that rational individuals believe all propositions which they know to be logical consequences of their other beliefs: although we must acknowledge the truth of a proposition which is a deductive consequence of our beliefs, we may not genuinely believe it. This conclusion is defended by arguing that some familiar counterexamples to the claim that knowledge is justified true belief fail because they involve propositions which are not really believed. Beliefs guide conduct or issue in assertion by answering questions which arise in the course of deliberation and conversation, but the troublesome cases present propositions which do not present the agent…
Knowledge Representation in Extended Pawlak’s Information Systems: Algebraic Aspects
2002
The notion of an information system in Pawlak's sense is extended by introducing a certain ordering on the attribute set, which allows to treat some attributes as parts of others. With every extended information system S associated is the set K(S) of those pieces of information that, in a sense, admit a direct access in S. The algebraic structure of the "information space" K(S) is investigated, and it is shown, in what extent the structure of S can be restored from the structure of its information space. In particular, an intrinsic binary relation on K(S), interpreted as entailment, is isolated, and an axiomatic description of a knowledge revision operation based on it is proposed.
Quasi conjunction and p-entailment in nonmonotonic reasoning
2010
We study, in the setting of coherence, the extension of a probability assessment defined on n conditional events to their quasi conjunction. We consider, in particular, two special cases of logical dependencies; moreover, we examine the relationship between the notion of p-entailment of Adams and the inclusion relation of Goodman and Nguyen. We also study the probabilistic semantics of the QAND rule of Dubois and Prade; then, we give a theoretical result on p-entailment.
Contract for the Supply of Digital Content
2014
The main aspects of a contract for the supply of digital content are analysed in this chapter. This can be seen as the most novel part of the proposed Regulation of the European Union, and is certainly a very important part of the final content of the proposal. This type of contract is a logical consequence of the development of information technology and communication, and the evolution of an information society and knowledge economy.
The Role of Artificial Intelligence Concepts in System Modelling and Simulation: An Overview
1994
The impact of modelling and simulation methodology research on the daily practice of the simulation community is becoming clearly perceivable. The same applies to the application of the artificial intelligence research in a diversity of computer related fields. As both fields are strongly based on models as the main way they convey their knowledge, the fact of synergy caused by combining these two computer related areas comes as a more or less logical consequence. There is an increasing interest of incorporating methods and techniques developed by and for the artificial intelligence community into modelling and simulation methodology and practice. This paper addresses common aspects and dif…
In the Future Everyone Will Be a Fuzzy Set: Enric Trillas, FST as an Experimental Science and the Relationship with Theory of Concepts
2015
Enrique Trillas Ruiz has had a long association with Italy, and for ten years now has been in the Scientific committee of WILF, the International Workshop on Fuzzy Logic born and breed in our country; it was not until WILF 2009, which our research group organised in Terrasini (Palermo) and in which organising committee I sat, that I become aware of the “complementary soul” of Enric’s work. Up to that point I had stumbled upon his papers on fuzzy operators and logic, mostly the joint works of him and Claudi Alsina, such as [1, 2, 21], but my research interest at the time seemed to me away and far apart from the ensemble of symbols and logical implication: I was trying to use the elements of …
Two Paths to Logical Consequence: Pieri and the Peano School
2021
This chapter1 has two main goals. First, it will explore the “negative” avenue leading from the concepts of independence and consistency to that of logical consequence.